xen: arm: dump vcpu gic info in arch_dump_vcpu_info
authorIan Campbell <ian.campbell@citrix.com>
Wed, 9 Jul 2014 12:07:39 +0000 (13:07 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 10 Jul 2014 09:36:47 +0000 (10:36 +0100)
commit7c3a60d25ea0f8cf1a6abf614c70a923ee7cb5e8
tree15b6585986dbdd4fc5268cc152053cd3f20058ae
parent5973432f19a935422cf9032dbe5132bb1382eb61
xen: arm: dump vcpu gic info in arch_dump_vcpu_info

Instead of looping over vcpus in arch_dump_domain_info

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
xen/arch/arm/domain.c